home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / modes / sdl_pr.xml < prev    next >
Extensible Markup Language  |  2013-07-28  |  8KB  |  229 lines
  1. <?xml version="1.0"?>
  2.  
  3. <!DOCTYPE MODE SYSTEM "xmode.dtd">
  4.  
  5. <!--
  6.   sdl_pr.xml    K. J. Turner <kjt@cs.stir.ac.uk>    26th February 2004
  7.  
  8.   SDL (Specification and Description Language) is an ITU standard (Z.100)
  9.   for a formal specification language used in communications and system specification generally.
  10.  
  11.   This mode handles SDL/PR (Phrase Representation), but does not (yet) deal with SDL 2000.
  12.  
  13.   Auto-indentation occurs if the following are at the start of a line (ignoring
  14.   leading white space): "block", "channel", "connection", "decision", "generator", "input", "macro", "newtype", "operator", "package", "procedure", "process", "refinement", "service", "start", "state", "substructure", "syntype", "system".
  15.  
  16.   This also happens if the following appear on their own (i.e. also ignoring
  17.   trailing white space): "signal".
  18. -->
  19.  
  20. <MODE>
  21.   <PROPS>
  22.     <PROPERTY NAME="commentStart" VALUE="/*"/>
  23.     <PROPERTY NAME="commentEnd" VALUE="*/"/>
  24.     <PROPERTY NAME="indentNextLines"
  25.       VALUE="\s*(block|channel|connection|decision|generator|input|macro|newtype|operator|package|procedure|process|refinement|service|start|state|substructure|syntype|system).*|\s*(signal)\s*"/>
  26.   </PROPS>
  27.  
  28.   <RULES IGNORE_CASE="TRUE" HIGHLIGHT_DIGITS="TRUE">
  29.     <!-- SDT/TAU Comments -->
  30.     <SPAN TYPE="COMMENT2">
  31.       <BEGIN>/*#SDTREF</BEGIN>
  32.       <END>*/</END>
  33.     </SPAN>
  34.  
  35.     <!-- Standard Comments -->
  36.     <SPAN TYPE="COMMENT1">
  37.       <BEGIN>/*</BEGIN>
  38.       <END>*/</END>
  39.     </SPAN>
  40.  
  41.     <!-- String Literals -->
  42.     <SPAN TYPE="LITERAL2" NO_LINE_BREAK="TRUE">
  43.       <BEGIN>'</BEGIN>
  44.       <END>'</END>
  45.     </SPAN>
  46.  
  47.     <SPAN TYPE="LITERAL2" NO_LINE_BREAK="TRUE">
  48.       <BEGIN>"</BEGIN>
  49.       <END>"</END>
  50.     </SPAN>
  51.  
  52.     <!-- Standard Operators -->
  53.     <SEQ TYPE="OPERATOR">+</SEQ>
  54.     <SEQ TYPE="OPERATOR">-</SEQ>
  55.     <SEQ TYPE="OPERATOR">*</SEQ>
  56.     <SEQ TYPE="OPERATOR">/</SEQ>
  57.     <SEQ TYPE="OPERATOR">==</SEQ>
  58.     <SEQ TYPE="OPERATOR">/=</SEQ>
  59.     <SEQ TYPE="OPERATOR">:=</SEQ>
  60.     <SEQ TYPE="OPERATOR">=</SEQ>
  61.     <SEQ TYPE="OPERATOR"><</SEQ>
  62.     <SEQ TYPE="OPERATOR"><=</SEQ>
  63.     <SEQ TYPE="OPERATOR">></SEQ>
  64.     <SEQ TYPE="OPERATOR">>=</SEQ>
  65.     <SEQ TYPE="OPERATOR">.</SEQ>
  66.     <SEQ TYPE="OPERATOR">!</SEQ>
  67.     <SEQ TYPE="OPERATOR">//</SEQ>
  68.  
  69.     <SEQ TYPE="OPERATOR" AT_WORD_START="TRUE">and</SEQ>
  70.     <SEQ TYPE="OPERATOR" AT_WORD_START="TRUE">mod</SEQ>
  71.     <SEQ TYPE="OPERATOR" AT_WORD_START="TRUE">not</SEQ>
  72.     <SEQ TYPE="OPERATOR" AT_WORD_START="TRUE">or</SEQ>
  73.     <SEQ TYPE="OPERATOR" AT_WORD_START="TRUE">rem</SEQ>
  74.     <SEQ TYPE="OPERATOR" AT_WORD_START="TRUE">xor</SEQ>
  75.  
  76.     <KEYWORDS>
  77.       <!-- Reserved Words -->
  78.       <KEYWORD1>active</KEYWORD1>
  79.       <KEYWORD1>adding</KEYWORD1>
  80.       <KEYWORD1>all</KEYWORD1>
  81.       <KEYWORD1>alternative</KEYWORD1>
  82.       <KEYWORD1>any</KEYWORD1>
  83.       <KEYWORD1>as</KEYWORD1>
  84.       <KEYWORD1>atleast</KEYWORD1>
  85.       <KEYWORD1>axioms</KEYWORD1>
  86.       <KEYWORD1>block</KEYWORD1>
  87.       <KEYWORD1>call</KEYWORD1>
  88.       <KEYWORD1>channel</KEYWORD1>
  89.       <KEYWORD1>comment</KEYWORD1>
  90.       <KEYWORD1>connect</KEYWORD1>
  91.       <KEYWORD1>connection</KEYWORD1>
  92.       <KEYWORD1>constant</KEYWORD1>
  93.       <KEYWORD1>constants</KEYWORD1>
  94.       <KEYWORD1>create</KEYWORD1>
  95.       <KEYWORD1>dcl</KEYWORD1>
  96.       <KEYWORD1>decision</KEYWORD1>
  97.       <KEYWORD1>default</KEYWORD1>
  98.       <KEYWORD1>else</KEYWORD1>
  99.       <KEYWORD1>end</KEYWORD1>
  100.       <KEYWORD1>endalternative</KEYWORD1>
  101.       <KEYWORD1>endblock</KEYWORD1>
  102.       <KEYWORD1>endchannel</KEYWORD1>
  103.       <KEYWORD1>endconnection</KEYWORD1>
  104.       <KEYWORD1>enddecision</KEYWORD1>
  105.       <KEYWORD1>endgenerator</KEYWORD1>
  106.       <KEYWORD1>endmacro</KEYWORD1>
  107.       <KEYWORD1>endnewtype</KEYWORD1>
  108.       <KEYWORD1>endoperator</KEYWORD1>
  109.       <KEYWORD1>endpackage</KEYWORD1>
  110.       <KEYWORD1>endprocedure</KEYWORD1>
  111.       <KEYWORD1>endprocess</KEYWORD1>
  112.       <KEYWORD1>endrefinement</KEYWORD1>
  113.       <KEYWORD1>endselect</KEYWORD1>
  114.       <KEYWORD1>endservice</KEYWORD1>
  115.       <KEYWORD1>endstate</KEYWORD1>
  116.       <KEYWORD1>endsubstructure</KEYWORD1>
  117.       <KEYWORD1>endsyntype</KEYWORD1>
  118.       <KEYWORD1>endsystem</KEYWORD1>
  119.       <KEYWORD1>env</KEYWORD1>
  120.       <KEYWORD1>error</KEYWORD1>
  121.       <KEYWORD1>export</KEYWORD1>
  122.       <KEYWORD1>exported</KEYWORD1>
  123.       <KEYWORD1>external</KEYWORD1>
  124.       <KEYWORD1>fi</KEYWORD1>
  125.       <KEYWORD1>finalized</KEYWORD1>
  126.       <KEYWORD1>for</KEYWORD1>
  127.       <KEYWORD1>fpar</KEYWORD1>
  128.       <KEYWORD1>from</KEYWORD1>
  129.       <KEYWORD1>gate</KEYWORD1>
  130.       <KEYWORD1>generator</KEYWORD1>
  131.       <KEYWORD1>if</KEYWORD1>
  132.       <KEYWORD1>import</KEYWORD1>
  133.       <KEYWORD1>imported</KEYWORD1>
  134.       <KEYWORD1>in</KEYWORD1>
  135.       <KEYWORD1>inherits</KEYWORD1>
  136.       <KEYWORD1>input</KEYWORD1>
  137.       <KEYWORD1>interface</KEYWORD1>
  138.       <KEYWORD1>join</KEYWORD1>
  139.       <KEYWORD1>literal</KEYWORD1>
  140.       <KEYWORD1>literals</KEYWORD1>
  141.       <KEYWORD1>macro</KEYWORD1>
  142.       <KEYWORD1>macrodefinition</KEYWORD1>
  143.       <KEYWORD1>macroid</KEYWORD1>
  144.       <KEYWORD1>map</KEYWORD1>
  145.       <KEYWORD1>nameclass</KEYWORD1>
  146.       <KEYWORD1>newtype</KEYWORD1>
  147.       <KEYWORD1>nextstate</KEYWORD1>
  148.       <KEYWORD1>nodelay</KEYWORD1>
  149.       <KEYWORD1>noequality</KEYWORD1>
  150.       <KEYWORD1>none</KEYWORD1>
  151.       <KEYWORD1>now</KEYWORD1>
  152.       <KEYWORD1>offspring</KEYWORD1>
  153.       <KEYWORD1>operator</KEYWORD1>
  154.       <KEYWORD1>operators</KEYWORD1>
  155.       <KEYWORD1>ordering</KEYWORD1>
  156.       <KEYWORD1>out</KEYWORD1>
  157.       <KEYWORD1>output</KEYWORD1>
  158.       <KEYWORD1>package</KEYWORD1>
  159.       <KEYWORD1>parent</KEYWORD1>
  160.       <KEYWORD1>priority</KEYWORD1>
  161.       <KEYWORD1>procedure</KEYWORD1>
  162.       <KEYWORD1>process</KEYWORD1>
  163.       <KEYWORD1>provided</KEYWORD1>
  164.       <KEYWORD1>redefined</KEYWORD1>
  165.       <KEYWORD1>referenced</KEYWORD1>
  166.       <KEYWORD1>refinement</KEYWORD1>
  167.       <KEYWORD1>remote</KEYWORD1>
  168.       <KEYWORD1>reset</KEYWORD1>
  169.       <KEYWORD1>return</KEYWORD1>
  170.       <KEYWORD1>returns</KEYWORD1>
  171.       <KEYWORD1>revealed</KEYWORD1>
  172.       <KEYWORD1>reverse</KEYWORD1>
  173.       <KEYWORD1>route</KEYWORD1>
  174.       <KEYWORD1>save</KEYWORD1>
  175.       <KEYWORD1>select</KEYWORD1>
  176.       <KEYWORD1>self</KEYWORD1>
  177.       <KEYWORD1>sender</KEYWORD1>
  178.       <KEYWORD1>service</KEYWORD1>
  179.       <KEYWORD1>set</KEYWORD1>
  180.       <KEYWORD1>signal</KEYWORD1>
  181.       <KEYWORD1>signallist</KEYWORD1>
  182.       <KEYWORD1>signalroute</KEYWORD1>
  183.       <KEYWORD1>signalset</KEYWORD1>
  184.       <KEYWORD1>spelling</KEYWORD1>
  185.       <KEYWORD1>start</KEYWORD1>
  186.       <KEYWORD1>state</KEYWORD1>
  187.       <KEYWORD1>stop</KEYWORD1>
  188.       <KEYWORD1>struct</KEYWORD1>
  189.       <KEYWORD1>substructure</KEYWORD1>
  190.       <KEYWORD1>synonym</KEYWORD1>
  191.       <KEYWORD1>syntype</KEYWORD1>
  192.       <KEYWORD1>system</KEYWORD1>
  193.       <KEYWORD1>task</KEYWORD1>
  194.       <KEYWORD1>then</KEYWORD1>
  195.       <KEYWORD1>this</KEYWORD1>
  196.       <KEYWORD1>timer</KEYWORD1>
  197.       <KEYWORD1>to</KEYWORD1>
  198.       <KEYWORD1>type</KEYWORD1>
  199.       <KEYWORD1>use</KEYWORD1>
  200.       <KEYWORD1>via</KEYWORD1>
  201.       <KEYWORD1>view</KEYWORD1>
  202.       <KEYWORD1>viewed</KEYWORD1>
  203.       <KEYWORD1>virtual</KEYWORD1>
  204.       <KEYWORD1>with</KEYWORD1>
  205.  
  206.       <!-- Standard Library Sorts -->
  207.       <KEYWORD2>Boolean</KEYWORD2>
  208.       <KEYWORD2>Character</KEYWORD2>
  209.       <KEYWORD2>Charstring</KEYWORD2>
  210.       <KEYWORD2>Duration</KEYWORD2>
  211.       <KEYWORD2>Integer</KEYWORD2>
  212.       <KEYWORD2>Natural</KEYWORD2>
  213.       <KEYWORD2>Real</KEYWORD2>
  214.       <KEYWORD2>PId</KEYWORD2>
  215.       <KEYWORD2>Time</KEYWORD2>
  216.  
  217.       <!-- Standard Library Generators -->
  218.       <KEYWORD3>Array</KEYWORD3>
  219.       <KEYWORD3>String</KEYWORD3>
  220.       <KEYWORD3>Powerset</KEYWORD3>
  221.  
  222.       <!-- Standard Library Literals -->
  223.       <LITERAL1>false</LITERAL1>
  224.       <LITERAL1>null</LITERAL1>
  225.       <LITERAL1>true</LITERAL1>
  226.     </KEYWORDS>
  227.   </RULES>
  228. </MODE>
  229.